\newif\ifrelease
\releasetrue
\input{riscv-debug-spec.tex}
